Modeling Hybrid Systems in Action Languages
نویسندگان
چکیده
منابع مشابه
Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems
Hybrid systems exhibit mode-dependent continuous-time dynamics. They are encountered in several phases of Cyber-Physical Systems design: physical system modeling, budgeting time over the computing architecture, safety analyses, and more generally virtual system modeling. These different phases typically involve different kinds of tools, with differing interpretations of the underlying mathemati...
متن کاملWPHS: Hybrid System Modeling Modeling Techniques, Programming Languages, Design Toolsets and Interchange Formats for Hybrid Systems
This report is a critical review of existing modeling techniques, programming languages, and design toolsets for hybrid systems. We analyzed industrial and academic tools with the intent of comparing their applicability and the different models used to support the tools. In addition to the review, we also provide comments and recommendations on how to build a standard interchange format and a s...
متن کاملTemporal representation design principles: an assessment in the domain of liver transplantation
Time modeling is an important aspect of medical decision-support systems engineering. At the core of effective time modeling lies the challenge of proper knowledge representation design. In this paper, we focus on two important principles for effective time-modeling languages: (a) hybrid temporal representation, and (b) dynamic temporal abstraction. To explore the significance of these design p...
متن کاملModeling Hybrid Systems in Hy-tccp
Concurrent, reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple but powerful model for reactive systems. In this paper, we present hybrid tccp (hytccp), an extension of tccp over continuous time which includes new constructs to model the continuous dynamics of hybrid systems.
متن کاملModeling Timed Concurrent Systems using Generalized Ultrametrics
Timed concurrent systems are used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description languages), discrete-event simulation, and modeling of communication networks. They consist of concurrent components that communicate using timed signals, which are sets of (semantically) time-stamped events. The denotational sema...
متن کامل